existential operator

英 [ˌeɡzɪˈstenʃəl ˈɒpəreɪtə(r)]

美 [ˌeɡzɪˈstenʃəl ˈɑːpəreɪtər]

网络  存在算子

英英释义

noun

• a logical quantifier of a proposition that asserts the existence of at least one thing for which the proposition is true
  Synonym:existential quantifier